Institutt for samfunnsforskning 70 år

Institutt for informatikk STAIRS - Steps to Analyze Interactions with Refinement Semantics

The paper presents STAIRS, an approach to the compositional development of UML interactions supporting the specification of mandatory as well as potential behavior. STAIRS has been designed to facilitate the use of interactions for requirement capture as well as test specification. STAIRS assigns a precise interpretation to the various steps in incremental system development based on an approac...

Institutt for informatikk Exploring computational capabilities of GPUs using H . 264

In recent years, there has been a drive towards parallel architectures to further increase computational performance. The many-core architecture of modern Graphics Processing Units (GPU) can be used for general computations in addition to graphics processing, and provide good performance for data parallel computations. In this thesis, we explore the processing powers of two generations of GPUs ...

. . . . . . . . . . . . . . . . . . . . . . 70

Program Chairs Margo Seltzer and Ric Wheeler opened FAST ’09 by thanking the contributors and stressing the value of interaction between students and attendees. Best Paper awards were presented to “CA-NFS: A Congestion-Aware Network File System” by Batsakis, Burns, Kanevsky, Lentini, and Talpey of NetApp and Johns Hopkins, and to “Generating Realistic Impressions for File System Benchmarking” b...

- 70

70 � � � � � � � � � �

This paper gives an overview of the KULRoT 99 team. This team is based on our last year's team. The major problem we experienced with KULRoT 98 was a slow reaction time. The cause of this problem was related to bad synchronization and an insuucient notion of time. To tackle this problem, we switched to a new architecture that gives each soccer player a better notion of time. Preliminary results...